Correspondence ^* -- pullback along a correspondence

• Operator: ^*

• Usage:

  I^*

• Inputs:
  • I, an instance of the type Correspondence, from $X$ to $Y$
• Outputs:
  • a function, the pullback operator associated to $I$, which can be applied to abstract sheaves or cycles on $Y$